home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 7 / Apprentice-Release7.iso / Source Code / C / Applications / Moscow ML 1.42 / src / compiler / Miscsys.sml < prev    next >
Encoding:
Text File  |  1997-08-18  |  639 b   |  17 lines  |  [TEXT/R*ch]
  1. (* Miscsys -- not part of the new unified basis, 12-27-94 *)
  2.  
  3. (* This module provides a simple interface to the operating system. *)
  4.  
  5. prim_val command_line : string Vector.vector = 0 "command_line";
  6. prim_val interactive: bool = 0 "interactive";
  7. prim_val getenv : string -> string = 1 "sys_getenv";
  8. prim_val system : string -> int = 1 "sml_system";
  9.  
  10. prim_val catch_interrupt : bool -> unit = 1 "sys_catch_break"
  11.  
  12. prim_val rename_ : string -> string -> unit = 2 "sys_rename";
  13. prim_val remove  : string -> unit           = 1 "sys_remove";
  14. prim_val chdir   : string -> unit           = 1 "sys_chdir";
  15.  
  16. fun rename {old, new} = rename_ old new;
  17.